Optimizing Affine Control With Semantic Factorizations

Nonlinear Control Analysis on Kinematically Asymmetrically Affine Control Systems with Nonholonomic Affine Constraints

This paper is concerned with kinematically asymmetrically affine control systems with nonholonomic affine constraints (KAACS). We first show the nonintegrability condition for affine constraints using their geometric representation. Next, the KAACS is uniquely derived from affine constraints and control inputs. We then analyze the KAACS based on nonlinear control theory and provide some conditi...

Control of Affine Systems with Memory

Optimal control of partial differential equations with affine control constraints

Numerical solution of PDE optimal control problems involving affine pointwise control constraints is investigated. Optimality conditions are derived and a semi-smooth Newton method is presented. Global and local superlinear convergence of the method are obtained for linear problems. Differently from box constraints, in the case of general affine constraints a proper weighting of the control cos...

On some nonlinear optimal control problems with affine control constraints

We investigate a class of nonlinear optimal control problems with pointwise affine control constraints. Necessary optimality conditions of first order and sufficient second order conditions are obtained. For the numerical solution of the optimal control problems a semismooth Newton method is proposed. Local superlinear convergence of the infinite dimensional method is proved. Finally, the prope...

Affine Control Logic

This paper extends our previous work in combining classical logic with intuitionistic logic [LM13a, LM13b] to also include affine linear logic (linear logic with weakening), resulting in a unified system that we call Affine Control Logic. Connectives from different logics can mix without collapse, and fragments of the logic are defined not by restricting proofs but entirely by the subformula pr...